python buffering in sys.stdout